$\forall$$a$, $b$:$\mathbb{Z}$. Dec($a$ $\mid$ $b$)